$\forall$$A$, $B$:Type, $x$:($A$ + $B$). ($\uparrow$($\neg_{b}$isl($x$))) $\Rightarrow$ (outr($x$) $\in$ $B$)